Showing 1 - 17 of 17 Results
1.
Formal Methods for Open Object-Based Distributed Systems: 10th Ifip Wg 6.1 International Con... by Barthe, Gilles, Barthe, Gil... ISBN: 9783540688624 List Price: $99.00
2.
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia An... by Boer, Frank S. de, Bonsangu... ISBN: 9783642041662 List Price: $83.00
3.
Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhove... by de Boer, Frank S., Bonsangu... ISBN: 9783642170706 List Price: $83.00
4.
Formal Methods for Components and Objects: 6th International Symposium, Fmco 2007, Amsterdam... by Boer, Frank S. de, Bonsangu... ISBN: 9783540921875 List Price: $74.95
5.
Formal Methods for Components and Objects by De Boer, Frank S. ISBN: 9783540747918 List Price: $69.95
8.
Verification of Sequential and Concurrent Programs (Texts in Computer Science) by Apt, Krzysztof R., Boer, Fr... ISBN: 9781848827448 List Price: $89.95
9.
Formal Methods for Components And Objects Third International Symposium, Fmco 2004, Leiden, ... by de Boer, Frank S., Bonsangu... ISBN: 9783540291312 List Price: $64.95
10.
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertino... by Giachino, Elena, Hhnle, Rei... ISBN: 9783642406140 List Price: $69.99
11.
Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Au... by Aichernig, Bernhard K., de ... ISBN: 9783642252709 List Price: $89.95
12.
Theoretical Computer Science : 7th IFIP TC1/WG 2. 2 International Conference, TCS 2012, Amst... by Baeten, Jos C. M., Ball, To... ISBN: 9783642334740 List Price: $108.00
13.
Verification of Sequential and Concurrent Programs by Apt, Krzysztof R., Boer, Fr... ISBN: 9781848827455
14.
Formal Methods for Components and Objects by Boer, Frank S. de, Bonsangu... ISBN: 9783662210291 List Price: $24.99
15.
Formal Methods for Components and Objects by De Boer, Frank S., Bonsangu... ISBN: 9783642170720 List Price: $24.99
16.
Verification of Sequential and Concurrent Programs by Apt, Krzysztof R., De Boer,... ISBN: 9781848827462 List Price: $24.99
17.
Formal Methods for Components and Objects : 11th International Symposium, Fmco 2012, Bertino... by Giachino, Elena, Hahnle, Re... ISBN: 9783642406164 List Price: $24.99